number theory divisibility proofs